A Platform Independent Framework for Statecharts Code Generation

نویسندگان

  • L. Andolfato
  • G. Chiozzi
چکیده

Control systems for telescopes and their instruments are reactive systems very well suited to be modelled using Statecharts formalism. The World Wide Web Consortium is working on a new standard called SCXML that specifies XML notation to describe Statecharts and provides a well defined operational semantic for run-time interpretation of the SCXML models. This paper presents a generic application framework for reactive non realtime systems based on interpreted Statecharts. The framework consists of a model to text transformation tool and an SCXML interpreter. The tool generates from UML state machine models the SCXML representation of the state machines as well as the application skeletons for the supported software platforms. An abstraction layer propagates the events from the middleware to the SCXML interpreter facilitating the support for different software platforms. This project benefits from the positive experience gained in several years of development of coordination and monitoring applications for the telescope control software domain using Model Driven Development technologies.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Low-cost embedded systems design using Statecharts

The main goal of the work here presented is to support the whole development cycle of low-cost embedded systems modelled by Statecharts, from specification to implementation. Specific goals include automatically verification of proprieties and generation of executable code for low cost hardware platforms, starting with the Statechart high-level specification of the reactive system. Micro-contro...

متن کامل

Code Generation for Discrete Event Controllers in Ptolemy II

The goal of this project is to provide a code generation framework for discrete event (DE) control models for cyberphysical systems (CPS) in Ptolemy II [1]. This framework should be as generic and platform independent as possible. The generated code should be tested on a target platform. Ptolemy offers the possibility to embed the generated code into the simulation environment. The generated co...

متن کامل

C3NET: Smart Environment for .NET Code Generation using MDA

The MDA (Model Driven Architecture) is a new way of writing specifications and developing applications, based on a platform-independent model. A complete MDA specification consists of a definitive platformindependent base UML model, plus one or more platform-specific models and interface definition sets, each describing how the base model is implemented on a different middleware platform. A MDA...

متن کامل

Model-level Automatic Test Generation for Uml Statecharts

We present a framework for model-level testing of behavioral UML models. For automatic test generation, we use planner algorithms to deal with the complexity of UML models. Our approach is characterized by an automatic and metamodeldriven transformation from UML statecharts to a tool independent representation of planner algorithms from which the input language of concrete planner tools can be ...

متن کامل

Hierarchical Hybrid Control for Innovative Air-conditioning Equipment

This paper describes the control system for innovative air-conditioning equipment, in particular an air treatment unit. The most important characteristic of the equipment is to be “friend of the environment”, in the sense that it does not use environmentally aggressive refrigerating fluids. Other main characteristic is associated with the complexity of its control, due to the large number of in...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2012